#include <stdlib.h>

int foo(int x)
{
  if(x == 0)
    ++x;
  return x;
}

int main()
{
  int* pa = (int*)malloc(1000*sizeof(int));
  pa[1000] = 1;
  int y;
  y = foo(y);
  return 0;
}
